homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
Given a dagger 2-poset , the 2-poset of partial maps is the sub-2-poset whose objects are the objects of and whose morphisms are the functional morphisms of .
Last revised on July 6, 2023 at 18:07:39. See the history of this page for a list of all contributions to it.